[]→pRNG
Source: /avail/Avail/Data Abstractions/Pseudorandom Number Generation/Generic Construction
Categories: Data Abstractions, Random
See: a pRNG
Establish the specified function as the default means of acquiring a pseudorandom number generator.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | constructor | []→pRNG | ||
| Returns | ⊤ | |||